机译:Delorean:有效记录和确定性地重放共享内存多处理器执行
机译:DITTO:数据结构不变检查的自动增量(Java)
机译:用于减少芯片多处理器中混合缓存体系结构的NVM写入的NVM方式分配方案
机译:同上-Java VM在多处理器上的确定性执行重播性即服务
机译:具有丰富的Javascript执行功能的恶意Javascript的检测,诊断和缓解
机译:Arden / J:Java平台上的MLM执行架构
机译:同上–用于多处理器Java VM的确定性执行重播性即服务
机译:ada编译器验证摘要报告:证书编号:940305W1.11335 TLD systems,Ltd。TLD Comanche VaX / 1960 ada编译器系统,版本4.1.1 Vms 5.5下的VaX集群=> TLD实时执行,版本4.1.1下的Tronix JIaWG执行车辆(i960mX)。